A Maude specification of an object-oriented model for telecommunication networks
نویسندگان
چکیده
منابع مشابه
Maude Object-Oriented Action Tool
Object-Oriented Action Semantics (OOAS) incorporates object-oriented concepts to the Action Semantics formalism. Its main goal is to obtain more readable and reusable semantics specifications. Moreover, it supports syntax-independent specifications, due to the way classes are written. Maude Object-Oriented Action Tool (MOOAT) is an executable environment for Object-Oriented Action Semantics imp...
متن کاملProtoTalk: An Object-Oriented Framework for Implementing Telecommunication Protocols
This paper presents ProtoTalk, a framework for developing telecommunication and network protocols. ProtoTalk is a generative domain specific framework on top of Smalltalk programming language. It provides facilities for specification of layer stacks and protocol entities in telecommunication software systems. State machine description and packet type encoding can also be done easier in ProtoTal...
متن کاملan application of equilibrium model for crude oil tanker ships insurance futures in iran
با توجه به تحریم های بین المملی علیه صنعت بیمه ایران امکان استفاده از بازارهای بین المملی بیمه ای برای نفتکش های ایرانی وجود ندارد. از طرفی از آنجایی که یکی از نوآوری های اخیر استفاده از بازارهای مالی به منظور ریسک های فاجعه آمیز می باشد. از اینرو در این پایان نامه سعی شده است با استفاده از این نوآوری ها با طراحی اوراق اختیارات راهی نو جهت بیمه گردن نفت کش های ایرانی ارائه نمود. از آنجایی که بر...
A Specification for an Object-Oriented Distributed Banking System
This paper proposes a partial specification for a distributed banking system. The system has been designed to operate in an object-oriented middleware platform, such as the CORBA platform from the Object Management Group or the COM platform from Microsoft. The purpose of the paper is to illustrate how existing middleware architectures can be used for implementing systems that have traditionally...
متن کاملA Maude speci cation of an object - orienteddatabase model
This paper presents an object-oriented database model for broadband telecommuni-cation networks, which can be used both for network management and for network planning purposes. The object-oriented data model has been developed using the parallel object-oriented speciication language Maude 8,11], which allows us to de-ne not only structural aspects of the database, but also procedural aspects. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2002
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(01)00364-4